Software verification

Results: 1531



#Item
701Technology / Manufacturing / Business / Systems engineering / Industrial engineering / Verification and validation / Validation / Acceptance testing / Test plan / Software testing / Pharmaceutical industry / Validity

MDEP Generic Common Position Multinational Design Evaluation Programme Generic Common Position DICWG No11 – PUBLIC USE

Add to Reading List

Source URL: www.oecd-nea.org

Language: English - Date: 2013-12-18 13:03:09
702Cross-platform software / Relational database management systems / Power Architecture / Server hardware / IBM DB2 / IBM System i / Logical partition / Hyper-V / Oracle Database / System software / Software / Computer architecture

Operation Verification Results of ExpressCluster on IBM Power Systems January 15, 2010 2nd Edition (revised July 12, [removed]Introduction

Add to Reading List

Source URL: www.nec.com

Language: English - Date: 2012-05-15 03:31:17
703Validity / Systems engineering / Codenomicon / Evaluation / Technology / Science / Verification and validation / Validation / Verification / Software testing / Computer network security / Pharmaceutical industry

CodeVerify A New Level of Security & Robustness Verification Codenomicon is the industry leader in bringing strength in visibility to connected systems and devices through a next-generation suite of tools and services th

Add to Reading List

Source URL: www.codenomicon.com

Language: English - Date: 2015-02-12 16:33:16
704Security / Verification and validation / Computer security / Evaluation / Business / Computer network security / Software testing / Codenomicon

CodeVerify A New Level of Security & Robustness Verification Codenomicon is the industry leader in bringing strength in visibility to connected systems and devices through a next-generation suite of tools and services th

Add to Reading List

Source URL: www.codenomicon.com

Language: English - Date: 2015-02-12 16:33:16
705Computing / POSIX / Virtual file system / File descriptor / Read / Close / UBIFS / Open / Write / C POSIX library / System software / Software

Verification of a Virtual Filesystem Switch Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {ernst,sch

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2014-12-01 09:23:10
706Analytical chemistry / Clinical research / Quality / Validation / Software development process / AOAC International / Quality assurance / Verification and validation / Test method / Science / Pharmaceutical industry / Validity

The Fitness for Purpose of Analytical Methods EURACHEM Guide The Fitness for Purpose of Analytical Methods

Add to Reading List

Source URL: www.eurachem.org

Language: English - Date: 2014-10-15 21:55:14
707Business / Acceptance testing / Validation / Software development process / Exploratory testing / Verification and validation / Software performance testing / Software testing / Science / Evaluation

March 2006 $9.95 www.StickyMinds.com

Add to Reading List

Source URL: www.perftestplus.com

Language: English - Date: 2006-05-11 23:14:54
708Component-based software engineering / Operating system / Scheduling / Systems engineering / Device driver synthesis and verification / AUTOSAR / Software engineering / Software architecture / Embedded system

Non-Functional Requirements in a Component Model for Embedded Systems Position Paper Roel Wuyts Stephane

Add to Reading List

Source URL: scg.unibe.ch

Language: English - Date: 2002-02-15 11:58:05
709Simulation software / Computing / Modelica / Systems engineering / Reliability engineering / Formal verification / Dymola / Functional Mock-up Interface / Object-oriented programming / Software engineering / Application software

Verification and Design Exploration through Meta Tool Integration with OpenModelica Zsolt Lattmann2, Adrian Pop1, Johan de Kleer3, Peter Fritzson1, Bill Janssen3, Sandeep Neema2, Ted Bapty2, Xenofon Koutsoukos2, Matthew

Add to Reading List

Source URL: www.isis.vanderbilt.edu

Language: English - Date: 2014-03-27 08:06:24
710Electronic commerce / Crime prevention / National security / OWASP / Vulnerability / Information security / Cross-site scripting / Software testing / Password / Computer security / Security / Cyberwarfare

-[removed]31527756669405Application Security Verification Standard[removed]Application Security Verification Standard (2014)

Add to Reading List

Source URL: www.owasp.org

Language: English - Date: 2014-08-27 05:29:52
UPDATE